namespace CXX_SUSPICIOUS_INDEX_CHECK {
	namespace bad {
		int get_index(); // some function returning an index

		void foo() {
			const int SIZE = 10;
			int arr[SIZE];
			int index = get_index();

			if (index >= 12) {
				return;
			}

			arr[index] = 0;
		}
	}


	namespace good {
		int get_index(); // some function returning an index

		void foo() {
			const int SIZE = 10;
			int arr[SIZE];
			int index = get_index();

			if (index >= 9) {
				return;
			}

			arr[index] = 0;
		}
	}

}